|
Your search returned 10 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1989 Volume number : 15 Issue: 02 |
A Structured Approach To Program Optimization
(Article)
Subject:
Optimization
,
Software Engineering
,
Virtual Memory
Author:
Armenise
Armenise
page:
101
-
108
The Dynamics Of Software Project Staffing A System Dynamics Based Simulation Approach
(Article)
Subject:
Simulation
,
Software Engineering
,
Software Projects
Author:
Tarek K
Abdel-Hamid
page:
109
-
119
Performance Analysis Of Mass Storage Service Alternat For Distributed Systems
(Article)
Subject:
Closed Queueing Network Models
,
Remote Mass Storage
,
File Services
Author:
K. K.
Ramakrishnan
Joel S.
Emer
page:
120
-
133
Optimal Partiting Of Random Programs Across Two Processors
(Article)
Subject:
Multiprocessor
,
Parallel Processing
,
Partitioning
,
Random Generation
Author:
David M.
Nicol
page:
134
-
141
Performance Of A Composite Attribute And Join Index
(Article)
Subject:
Database
,
Data Base Approach, Probability, Residual Soils,
,
Join
Author:
Bipin
Desai
page:
142
-
152
Efficient Database Access From Prolog
(Article)
Subject:
Access Optimization
,
Prolog
,
Relational Databases
Author:
Stefano
Ceri
Georg
Gottlob
Gio
Wiederhold
page:
153
-
164
Formal Program Construction By Transformations Computer Aided, Intuition Guided Programming
(Article)
Subject:
Algebraic Simplification
,
Formal Semantics
,
Software Engineering
Author:
Bernhard
Moller
Helmut
Partsch
Peter
Pepper
page:
165
-
180
Extending Ina Jo With Temporal Logic
(Article)
Subject:
Concurrency
,
Formal Specification
,
Nondeterminism
Author:
Jeannette M.
Wing
M. S
Nixon
page:
181
-
197
Constructing Specifications By Combining Parallel Elaborations
(Article)
Subject:
Specification
,
Reuse
,
High-Level Estimation
Author:
Martin S.
Feather
page:
198
-
208
Proof Procedure And Answer Extraction In Petri Net Model Of Logic Programs
(Article)
Subject:
Answer Extraction
,
Invariant Manifold
,
Theorem
,
Petri Nets
Author:
George
Peterka
Tadao
Murata
page:
209
-
217
|
|
| | |